ATG Interviews Georgios Papadopoulos

Why are heart operations postponed ? Georgios

Aim: To investigate the reasons that lead to postponement of cardiac operations, in order to elucidate the problem and help patients through modes of prevention. Methods-Design: We retrospectively included in the study all patients submitted to elective adult heart surgery in our department during the 4-year period 2007-2010 and noted all cases of postponement after official inclusion in the op...

Internet Engineering Task Force Georgios Karagiannis

This document describes the need of specifying Internet-wide location-aware forwarding protocol solutions that provide packet routing using geographical positions for packet transport.

Hepatotoxicity induced by horse ATG and reversed by rabbit ATG: a case report

BACKGROUND The use of antilymphocyte agents has improved patient and graft survival in hematopoietic stem cell and solid organ transplantation but has been associated with the development of short-term toxicities as well as long-term complications. CASE PRESENTATION We report a young female with Fanconi anemia who received antithymocyte globulin as part of the conditioning regimen prior to he...

The Temporal Rover and the ATG Rover

The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time Temporal Logic (LTL) and Metric Temporal Logic (MTL), with conventional simulation/execution based testing. The Temporal Rover is tailored for the verification of complex protocols and reactive systems where behavior ...

Unstructured Interviews